formal development
英 [ˈfɔːml dɪˈveləpmənt]
美 [ˈfɔːrml dɪˈveləpmənt]
网络 形式化开发
双语例句
- And the cable provider Cox communications has begun talking about the value of sideways career steps as part of formal development discussions with employees.
而电缆供应商考克斯通信公司（CoxCommunications）也开始与员工共同讨论横向职业发展路线的价值，并将其纳入正式讨论之中。 - Documentation: In organizations that follow a formal development approach, producing documentation takes a significant amount of development effort.
文档：在遵照正式的开发方法的组织中，生成文档占据重要的开发工作。 - Eliminating formal development activities when they're not needed, thus increasing productivity.
消除不需要的正式的开发活动，从而提高了生产效率。 - Web applications that are deployed in the enterprise for lines of business customarily require formal development teams and operational support.
在企业中为业务线部署的Web应用程序通常需要正式的开发团队和运营支持。 - So it's important to apply formal asset development processes and guidelines to services in an SOA.
因此，务必在SOA中对服务应用正式的资产开发流程和指南。 - In general, the classification of traditional has more to do with the use of formal development and deployment methodologies models.
总体来说，传统Web应用程序的分类主要与使用正式的开发和部署方法模型有关。 - The systematic, formal, axiomatic development of the logic of all forms and models of being.
事物的所有表示和模型的逻辑的，系统的，正式的，和公理性的开发。 - Therefore, it is helpful for the formal development of international technical trade in China to understand and problems in contemporary international trade of property rights of knowledge.
因此，它对于中国了解和解决知识产权中的当代国际贸易问题和国际技术贸易的正常发展是有益的。 - So a combination of a strong desire to remain at GitHub, to not follow any formal development process and to release weekly will prevent Jenkins from moving to either Eclipse or Apache Foundations.
因此，既希望留在GitHub，又不想遵循任何正式的开发流程并且要保证每周发布使得Jenkins无法迁移到Eclipse或Apache基金会。 - But they seem to put less emphasis on creating formal development methods which would be repeatable in future innovations.
但是他们似乎并不重视在将来革新中可重复的正规的开发方式。 - Formal Development of Several Algorithms for Combinatorial Mathematics Problems
形式化开发若干组合数学问题的算法 - It is recognized as a good approach for high-quality and good-reliability software to employ formal software development methods.
形式化软件开发方法被认为是开发可靠的与高质量软件的一个良好途径。 - So it is important to learn how to perform data refinement effectively. This paper presents a formal software development method.
在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容.通过分析Z和精化演算各自的特点，本文提出了一种使两者无缝集成的形式化开发方法。 - The paper argues that there are four periods in the developmental process, namely, free gestation period, naissance and rising period, formal development period and transformational development period.
教学设计的发展经历了自在孕育期、诞生兴起期、正式发展期和转型发展期四个发展阶段。 - Formal development of a hybrid system: rigorous design of a FDI algorithm
混合系统的形式化开发&故障检测与隔离算法的严格化设计 - A formal development method based on Z and refinement calculus
一种基于Z和精化演算的形式化开发方法 - A formal software development method of using data refinement with two times is introduced, which from data refinement to process refinement then to data refinement.
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。 - Research on Formal Development of Algorithmic Program
算法程序形式化开发研究 - Formal development method based on real-time language method and aspect-oriented
基于实时语言和面向方面的形式化开发方法 - A Formal Software Development Method of Using Data Refinement With Two Times
两次数据精化的形式化软件开发方法 - The paper explores the application of formal methods to combinatorial algorithms, and contributes to the research of automatic algorithm design for combinatorial algorithms and the extensive employment of formal development methods.
对形式化方法开发组合算法做了积极的探索，有利于促进组合算法设计自动化的研究及形式化开发方法的推广应用。 - A Formal Software Development Method for Embedded Real-time Systems
一种嵌入式实时系统软件的形式化开发方法 - Finally, as policy suggestion, this paper shows informal financial development requires legislation, formal financial development and reform.
第四，民间融资的规范发展需要立法、正规金融发展和金融体制改革等配套措施。 - Formal Development Method for Safety-Critical System
安全苛求系统的形式化开发方法 - This paper presents a formal software development method.
通过分析Z和精化演算各自的特点，本文提出了一种使两者无缝集成的形式化开发方法。 - Formal development of non-recursive algorithm for Hanoi tower
形式化开发Hanoi塔问题非递归算法 - This paper analyzed the relation between informal finance development and the economic growth using the co-integration and Granger causality and so on, meanwhile discussed the influence of the formal financial development to the economic growth.
文章利用协整理论和格兰杰因果检验等计量方法分析了我国非正规金融发展和经济增长的关系，同时还讨论了正规金融发展与经济增长的关系。 - As a formal development tool, Petri net has strict mathematical semantics and can be used to analyze and validate a system conveniently to address the problems of lacking of formal description and validation in object-oriented technology.
Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。 - Formal software development method is praised as the revolutionary way of software engineering to overcome the "software crisis", and to improve the reliability and the productivity of software.
软件开发的形式化方法被当今软件工程领域誉为克服软件危机，提高软件可靠性和生产效率的革命性途径。 - Finally, the component-based formal software development model is applied to development of office supplies management system of a OA system of some company. The results show that the model has a certain feasibility, applicability, and practical value.
最后，将基于构件的形式化软件开发模型应用于某公司OA中的办公用品管理系统开发，结果表明该模型具有一定的可行性和适用性，且具有一定的实际应用价值。